翻訳と辞書 Words near each other ・ Algebraic definition ・ Algebraic differential equation ・ Algebraic differential geometry ・ Algebraic element ・ Algebraic enumeration ・ Algebraic equation ・ Algebraic Eraser ・ Algebraic expression ・ Algebraic extension ・ Algebraic formula for the variance ・ Algebraic fraction ・ Algebraic function ・ Algebraic function field ・ Algebraic geometry ・ Algebraic Geometry (book) ・ Algebraic geometry and analytic geometry ・ Algebraic geometry of projective spaces ・ Algebraic graph theory ・ Algebraic group ・ Algebraic holography ・ Algebraic independence ・ Algebraic integer ・ Algebraic interior ・ Algebraic K-theory ・ Algebraic link ・ Algebraic logic ・ Algebraic Logic Functional programming language ・ Algebraic manifold ・ Algebraic matroid ・ Algebraic modeling language Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Algebraic geometry and analytic geometry ： ウィキペディア英語版 Algebraic geometry and analytic geometry In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties. == Main statement == Let ''X'' be a projective complex algebraic variety. Because ''X'' is a complex variety, its set of complex points ''X''(C) can be given the structure of a compact complex analytic space. This analytic space is denoted ''X''an. Similarly, if $\backslash mathcal$ is a sheaf on ''X'', then there is a corresponding sheaf $\backslash mathcal^\backslash text$ on ''X''an. This association of an analytic object to an algebraic one is a functor. The prototypical theorem relating ''X'' and ''X''an says that for any two coherent sheaves $\backslash mathcal$ and $\backslash mathcal$ on ''X'', the natural homomorphism: :$\backslash text\_(\backslash mathcal,\backslash mathcal)\backslash rightarrow\backslash text\_\}\_X\}(\backslash mathcal^^\_X$ is the structure sheaf of the algebraic variety ''X'' and $\backslash mathcal\_X^$ to $\backslash mathcal^\backslash text$. (Note in particular that $\backslash mathcal^$ on an algebraic variety ''X'' the homomorphism :$\backslash varepsilon\_q\backslash \; :\backslash \; H^q(X,\backslash mathcal)\; \backslash rightarrow\; H^q(X^,\backslash mathcal^)$ are isomorphism for all ''qs. This means that the ''q''-th cohomology group on ''X'' are isomorphic to the cohomology group on ''X''an. The theorem applies much more generally than stated above (see the formal statement below). It and its proof have many consequences, such as Chow's theorem, the Lefschetz principle and Kodaira vanishing theorem. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebraic geometry and analytic geometry」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.